Философский энциклопедический словарь - исчисление предикатов
Связанные словари
Исчисление предикатов
исчисление предикатов
— расширение исчисления высказываний путем формализации выводов, основывающихся на внутренней структуре высказываний. И. п. было построено Фреге и является существенным обогащением Аристотелевой и традиционной силлогистики.
Рейтинг статьи:
Комментарии:
См. в других словарях
1.
раздел математич. логики, совокупность логико-математич. исчислений, формализующих те разделы совр. логики, в к-рых отображаются и изучаются (в связи с рассмотрением субъектнопредикатной структуры предложений) правила оперирования с кванторами. См. Логика предикатов. ...Советский философский словарь
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2505 | |
2 | 2322 | |
3 | 1991 | |
4 | 1976 | |
5 | 1926 | |
6 | 1830 | |
7 | 1724 | |
8 | 1660 | |
9 | 1641 | |
10 | 1506 | |
11 | 1426 | |
12 | 1388 | |
13 | 1382 | |
14 | 1379 | |
15 | 1251 | |
16 | 1072 | |
17 | 1063 | |
18 | 1060 | |
19 | 1036 | |
20 | 963 |